منابع مشابه
MPA ) negotiation for Remote
This document updates RFC 5043 and RFC 5044 by extending Marker Protocol Data Unit (PDU) Aligned Framing (MPA) negotiation for Remote Direct Memory Access (RDMA) connection establishment. The first enhancement extends RFC 5044, enabling peer-to-peer connection establishment over MPA / Transmission Control Protocol (TCP). The second enhancement extends both RFC 5043 and RFC 5044, by providing an...
متن کاملOperational GSPN Semantics of MPA
In this technical report we define an operational net semantics for the stochastic process algebra MPA based on generalized stochastic Petri nets. As a consequence of the definition of such a semantics, we present an interesting modeling technique for concurrent systems which is based on MPA. 1. Dipartimento di Matematica, Università di Bologna, Piazza di Porta S. Donato 5, 40127 Bologna, Italy.
متن کاملMPA: a Stochastic Process Algebra
Process algebras constitute one of the main tools for modeling and analyzing concurrent systems. Unfortunately, with classical process algebras only the functional aspect of the behavior of concurrent systems can be modeled and analyzed. Since the relevance of integrating the performance modeling and evaluation into the process of specification, design and implementation of concurrent systems h...
متن کاملDiffusion in supercooled water to 300 MPa.
Measurements of the self-diffusion coefficient in supercooled ~ater to 300 MPa are reported. Translational diffusion in liquid water at 243 K is enhanced by 60% when the pressure is increased from 0. 1 to 150 MPa, and rotational diffusion is enhanced by almost 250% between 0. 1 and 250 MPa. These striking anomalies are interpreted in terms of the proximity of a conjectured line of spinodal-like...
متن کاملModeling and Analyzing Concurrent Systems with Mpa
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, they can be used to describe only the functional aspect of system behavior. Recently, the relevance of integrating performance evaluation within the process of speciication, design and implementation of concurrent systems has been widely recognized. Hence, an eeort has been made in order to handle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin des Médecins Suisses
سال: 2019
ISSN: 1424-4012
DOI: 10.4414/bms.2019.17703